reducible clause

См. также в других словарях:

• Logicism — is one of the schools of thought in the philosophy of mathematics, putting forth the theory that mathematics is an extension of logic and therefore some or all mathematics is reducible to logic.[1] Bertrand Russell and Alfred North Whitehead… …   Wikipedia

• Ceteris paribus — or caeteris paribus is a Latin phrase, literally translated as with other things the same, or all other things being equal or held constant. It is an example of an ablative absolute and is commonly rendered in English as all other things being… …   Wikipedia

• linguistics — /ling gwis tiks/, n. (used with a sing. v.) the science of language, including phonetics, phonology, morphology, syntax, semantics, pragmatics, and historical linguistics. [1850 55; see LINGUISTIC, ICS] * * * Study of the nature and structure of… …   Universalium

• Church encoding — In mathematics, Church encoding is a means of embedding data and operators into the lambda calculus, the most familiar form being the Church numerals, a representation of the natural numbers using lambda notation. The method is named for Alonzo… …   Wikipedia

• Hyperarithmetical theory — In recursion theory, hyperarithmetic theory is a generalization of Turing computability. It has close connections with definability in second order arithmetic and with weak systems of set theory such as Kripke–Platek set theory. It is an… …   Wikipedia

• Aristotle: Aesthetics and philosophy of mind — David Gallop AESTHETICS Aesthetics, as that field is now understood, does not form the subjectmatter of any single Aristotelian work. No treatise is devoted to such topics as the essential nature of a work of art, the function of art in general,… …   History of philosophy

• Copula (linguistics) — To be redirects here. For the song, see To Be. For to be, or not to be , see To be, or not to be. In linguistics, a copula (plural: copulae or copulas) is a word used to link the subject of a sentence with a predicate (a subject complement). The… …   Wikipedia